Constructive set theory - PDFSEARCH.IO - Document Search Engine

Constructive set theory
Results: 37

#	Item
11	INACCESSIBLE SET AXIOMS MAY HAVE LITTLE CONSISTENCY STRENGTH L. CROSILLA∗ AND M. RATHJEN Abstract. The paper investigates inaccessible set axioms and their consistency strength in constructive set theory. In ZFC inacce Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2012-10-11 14:48:34
12	Realizing Mahlo set theory in type theory Michael Rathjen∗ Abstract After introducing the large set notion of Mahloness, this paper shows that constructive set theory with an axiom asserting the existence of a Mahlo se Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2012-10-11 11:56:28
13	Constructive Set Theory and Brouwerian Principles1 Michael Rathjen (Department of Mathematics, The Ohio State University,2 Email: ) Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2011-12-03 13:15:36
14	Formal Baire space in constructive set theory Giovanni Curi and Michael Rathjen∗ Dipartimento di Matematica, Universit`a di Padova Via Trieste, Padova, Italy (G. Curi). Department of Pure M Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English
15	Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience Michael Rathjen Department of Pure Mathematics University of Leeds, Leeds LS2 9JT, England E-mail: Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2013-04-19 06:45:40
16	Core Extensional Mathematics and Local Constructive Set Theory in honor of the 60th birthday of Giovanni Sambin Advances in Constructive Topology Add to Reading List Source URL: staff.cs.manchester.ac.uk Language: English - Date: 2009-09-23 11:00:09
17	Derived rules for predicative set theory: an application of sheaves Benno van den Berg & Ieke Moerdijk November 16, 2011 Abstract We show how one may establish proof-theoretic results for constructive Add to Reading List Source URL: staff.fnwi.uva.nl Language: English - Date: 2011-11-16 08:30:32
18	Categorical semantics of constructive set theory Beim Fachbereich Mathematik der Technischen Universit¨at Darmstadt Add to Reading List Source URL: staff.fnwi.uva.nl Language: English - Date: 2012-01-23 06:19:16
19	Local Constructive Set Theory Oberwolfach, April, 2008 Peter Aczel Manchester University Add to Reading List Source URL: staff.cs.manchester.ac.uk Language: English - Date: 2009-09-23 12:39:33
20	Type Theory and Constructive Mathematics Thierry Coquand Function, Proofs, Constructions, February 21, 2014 Type Theory and Constructive Mathematics Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2014-02-23 10:00:40 Mathematical logic Mathematical constructivism Constructivism Type theory Mathematical proof Function Constructive proof Constructive set theory Mathematics Epistemology Logic

UPDATE